Knihy od autora Gilles Dowek

Zobrazeno 1 – 10 z 10 výsledků

1. 

   Principles of Programming Languages

   Gilles Dowek | Springer London Ltd, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1030 Kč

   Koupit
2. 

   Computation, Proof, Machine

   Gilles Dowek, Pierre Guillot, Marion Roman | Cambridge University Press, 2015

   
   

   Skladem u dodavatele - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1243 Kč

   Koupit
3. 

   Theorem Proving in Higher Order Logics

   Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
4. 

   Higher-Order Algebra, Logic, and Term Rewriting

   Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
5. 

   Automated Reasoning

   Alessandro Armando, Peter Baumgartner, Gilles Dowek | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
6. 

   Age of Algorithms

   Serge Abiteboul, Gilles Dowek, K-Rae Nelson | Cambridge University Press, 2020

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 9-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1807 Kč

   Koupit
7. 

   Age of Algorithms

   Serge Abiteboul, Gilles Dowek, K-Rae Nelson | Cambridge University Press, 2020

   
   

   Skladem u dodavatele - Odesíláme za 9-13 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   620 Kč

   Koupit
8. 

   L'IA est-elle une chance ?

   APOLLINE GUILLOT, Miguel BENASAYAG, Gilles DOWEK, SOPHIE GHERARDI | PHILOSOPHIE MAG

   
   

   Skladem u dodavatele - Odesíláme za 14-18 dnů

   Jazyk: Francouzština

   Vazba: Brožovaná

   360 Kč

   Koupit
9. 

   Rewriting and Typed Lambda Calculi

   Gilles Dowek | Springer International Publishing AG, 2014

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
10. 

    Computation, Proof, Machine

    Gilles Dowek, Pierre Guillot, Marion Roman | Cambridge University Press, 2015

    
    

    Skladem u dodavatele - Odesíláme za 14-18 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    3081 Kč

    Koupit

Máte na výběr ze mnoha způsobů platby za váš nákup. Zjistěte více